Real-Time Estimation of Drivers' Trust in Automated Driving Systems

Dynamics of Drivers’ Trust in Warning Systems

This paper focuses on how the behavior of drivers in response to warning systems is influenced by their trust in those warning systems. The experimental examinations show that a) false alarms result in a reduction in trust and an increased reaction time to braking, b) a lack of alarms result in a delay in the recognition of hazardous situations, c) excessive trust induces significant delays in ...

Automated Testing of Real-Time Systems

A real-time recursive dynamic model for vehicle driving simulators

This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...

Automated Compositional Proofs for Real-Time Systems

We present a framework for formally proving that the composition of the behaviors of the different parts of a complex, real-time system ensures a desired global specification of the overall system. The framework is based on a simple compositional rely/guarantee circular inference rule, plus a small set of conditions concerning the integration of the different parts into a whole system. The refe...

Real-Time Trust Management in Agent Based Online Auction Systems

Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, which makes winners have to pay more than what they should pay for auctioned items. In this paper, we propose a real-time trust management module for agent based online auction systems using rolebased access control me...